#!/bin/sh
echo "wesnoth-unstable-smallgui is deprecated -- please use wesnoth-unstable --smallgui directly!"
wesnoth-unstable --smallgui $*
